An Object-Oriented Simulation Program Generator
نویسندگان
چکیده
This paper presents the main ideas and preliminary results of the two authors’ doctoral research, which is currently in a rather early stage. Up to this point, the work of the two authors is closely related and can be thought of as part of a project named “ARGUS”, which is currently in progress at the Software Laboratory of the National Technical University of Athens. It is expected that the courses of the authors’ research will divide in the future and that the results of this research will support two doctoral theses. The ARGUS project is funded by the NTUA and is directed towards research in the field of object-oriented simulation program generators. The research team consists of the two authors, who are currently Ph.D. candidates, and is supervised by professor Emmanuel Skordalakis.
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملAccelerating Object-Oriented Simulation via Automatic Program Specialization
Object-oriented simulations in an object-oriented environment are easier to construct and maintain than conventionally programmed simulations. Unfortunately, they are also slower because of message passing and other runtime overhead. We have developed an automatic program transformer that solves the eeciency problem for a large class of simulation programs. It automatically constructs an eecien...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل